package invariantChecking;

//start extract InvariantSupporter
public interface InvariantSupporter {
    boolean invariant();
}
//stop extract InvariantSupporter
